package com.Clause;

public abstract class Operateur extends ClauseElement{
	
	protected String operateur;
	
	protected Operateur(String operateur){
		this.operateur=operateur;
	}
	
	protected Operateur(Operateur operateur){
		this.operateur=operateur.getOperateur();
	}
	
	protected Operateur(String operateur, ClauseProxy elementSuivant){
		this.operateur=operateur;
		this.suivant = elementSuivant;
	}

	
	public Operateur(String operateur, ClauseElement elementSuivant) {
		this.operateur=operateur;
		this.suivant = new ClauseProxy(elementSuivant);
	}

	public String getOperateur(){
		return operateur;
	}
	
	public String toString(){
		return operateur+" "+suivant.toString();
	}
	
	public String toPrologString(){
		return operateur+" "+suivant.toPrologString();
	}
	
}
